Casl-ltl a Casl Extension for Dynamic Systems Summary Cofi Document: Casl/summary
ثبت نشده
چکیده
Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic speciication and development, cannot be used for specifying the requirements and the design of dynamic software systems. Casl-Ltl is an extension to overcome this limit, allowing to specify dynamic system by modelling them by means of labelled transition systems and by expressing their properties with temporal formulae. It is based on LTL, that is a logic-algebraic formalism for the speciication of dynamic systems, mainly developed by E.Astesiano and G. Reggio (see AR96] and CR97]). This document gives a detailed summary of the syntax and intended semantics of Casl-Ltl. It is intended for readers who are already familiar with Casl ((The99]).
منابع مشابه
Casl - Ltl A Casl EXTENSION FOR DYNAMIC SYSTEMS
Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic specification and development, cannot be used for specifying the requirements and the design of dynamic software systems. Casl-Ltl is an extension to overcome this limit, allowing to specify dynamic system by modelling them by means of labelled transition systems and by expressing their properties with ...
متن کاملDO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to...
متن کاملCasl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
In this paper we present a part of Casl-Mdl, a visual modelling notation based on Casl-Ltl (an extension for dynamic system of the algebraic specification language Casl). The visual constructs of Casl-Mdl have been borrowed from the UML, thus existing editors may be used. A Casl-Mdl model is a set of diagrams but it corresponds to a Casl-Ltl specification, thus Casl-Mdl is a suitable means to e...
متن کاملCasl the Common Algebraic Speciication Language 1
Casl is an expressive language for the formal speciication of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic speciication and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, rst-order logic, an...
متن کاملCASL: A Guided Tour of Its Design
Casl is an expressive language for the specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and s...
متن کامل